$\forall$$p$:$\mathbb{B}$. ($\uparrow$($\neg_{b}$$p$)) $\Leftarrow\!\Rightarrow$ ($\neg$($\uparrow$$p$))